From c9b378871f5b4e7b9d787ce4c573a9313406ad48 Mon Sep 17 00:00:00 2001
From: Aleksey Kladov <aleksey.kladov@gmail.com>
Date: Mon, 12 Dec 2016 21:28:25 +0300
Subject: [PATCH] Add explanatory comment to header.html

See #3387
---
 src/doc/header.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/doc/header.html b/src/doc/header.html
index 83e76173c..8d12def31 100644
--- a/src/doc/header.html
+++ b/src/doc/header.html
@@ -27,6 +27,7 @@
                 Docs
                 <span class="arrow"></span>
             </button>
+            <!-- Sync this list with https://github.com/rust-lang/crates.io/blob/master/app/templates/application.hbs -->
             <ul id="current-user-links" class="dropdown" data-bindattr-503="503">
                 <li><a href='index.html'>Getting Started</a></li>
                 <li><a href='guide.html'>Guide</a></li>
-- 
2.30.2